Raisonnements sur la permission de dire
نویسندگان
چکیده
Our goal is to formalize what "having the permission to say" means. We adapt the dynamic logic of permission considered by van der Meyden in the particular case where atomic actions are public and truthful announcements. Hence, we extend the logic of public announcements introduced by Plaza, that enables us to express the ways agents update their knowledge after public and truthful announcements, by introducing an operator of permission. We present the syntax and the semantics of our logic and we address the issues of axiomatizing and deciding the set of its valid formulas.
منابع مشابه
Violence du langage dans l’œuvre dramatique de Samuel Beckett : la quête du néant
L’homme beckettien représente grosso modo sur la scène de théâtre des années cinquante le spectacle de souffrance physique et de désintégration totale du sujet qui est le fait d’un trauma et d’un complexe plus profonds, celui du vide de matières scéniques et du mal fondamental qu’on traiterait d’existentiel. En d’autres termes, le mal est dans ce monde quelque chose d’inné chez l’être humain. C...
متن کاملSelective Celiac Angiography in Hepatic Hydatid Cyst and Comparison with Scintigraphy
This article was presented by the author at the Third Iranian Congress of Radiology - University of Isfahan. Les explorations arteriographiques des kystes hydatique du foie et sa comparaison avec Ia scintigraphie hepatique L' auteur present quatre cas de quarante six cas d'angiographie coeliaque et mesentrique sup2-rieure en portant son attention sur les resultats obtenus de cet examen et de...
متن کاملDeduction Automatique et Systemes Transformationnels
RESUME : Les syst~mes transformatiounels utilisent des processus d6duetifs d'une approche diff6rente des syst~mes utilis6s en intelligence artificielle. A travers une comparaison du langage Prolog et du lan-gage Sygmart, il est montr~ comment r~aliser dans les syst~mes transformationnels des applications utili-sant des raisonnements et des bases de connaissances. I. INTRODUCTION : Le traitement...
متن کامل